Multimodal Reasoning about Physical Systems
نویسندگان
چکیده
We present a knowledge representation and reasoning framework that integrates qualitative reasoning, qualitative simulation, numerical simulation, geometric reasoning, constraint reasoning, resolution, reasoning with abstraction levels, declarative meta-level control, and a simple form of truth maintenance. The framework is the core of PRET, a system identification program that automates the process of modeling physical systems.
منابع مشابه
Clausal Tableaux for Multimodal Logics of Belief
We develop clausal tableau calculi for seven multimodal logics variously designed for reasoning about multi-degree belief, reasoning about distributed systems of belief and for reasoning about epistemic states of agents in multi-agent systems. Our tableau calculi are sound, complete, cut-free and have the analytic superformula property, thereby giving decision procedures for all of these logics...
متن کاملAn implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
Qualitative reasoning is a broad area of AI whose main aim is to deal with physical systems where either an information of numerical data is not sufficiently precise, or the physical situation cannot be precisely quantified. In any case, qualitative reasoning is a tool which enables us to reason and make inferences from abstractions of quantitative values instead of the numerical values themsel...
متن کاملReasoning About Epistemic States of Agents by Modal Logic Programming
Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic KD4Ig5a, which is intended for reasoning about belief and common belief of agents. We prove that the presented SLD-resolution calculus i...
متن کاملLearning and Reasoning with Qualitative Models of Physical Behavior
Building models of the physical world from examples is an important challenge for qualitative reasoning systems. We describe a system that can learn intuitive models of physical behaviors from a corpus of multimodal, multi-state stimuli, consisting of sketches and text. The system extracts and temporally encodes exemplars from the stimuli and uses analogical generalization to abstract prototypi...
متن کاملTaxonomic Issues for Multimodal and Multimedia Interactive Systems
One trend in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of humans. Parallel to the exploratory development of such systems, significant effort is being deployed in defining frameworks and taxonomies for reasoning about the design space of such systems. This article is a preliminary effort to review c...
متن کامل